#ifndef BOARD_GPIO_H
#define BOARD_GPIO_H 1

#include "stm32f10x.h"


void gpio_init(void);

void board_gpio_init(
                      GPIO_TypeDef* board_port,
                      uint16_t port_pin,
                      GPIOSpeed_TypeDef pin_speed,
                      GPIOMode_TypeDef pin_mode
                    );

void GPIO_ToggleBits(
                      GPIO_TypeDef* GPIOx,
                      uint16_t GPIO_Pin
                     );


#endif